how to prove zero factorial